• Home
• Categories
• Sequent Calculus

Sequent Calculus

Partial Horn logic and cartesian categories

Pure Mathematics / Sequent Calculus / Free Algebra

Download

Synonymy And Intra-Theoretical Pluralism

Logic / Philosophy of Logic / Many-Valued Logic / Logical Pluralism / Sequent Calculus

Download